√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

當(dāng)前位置: 在線翻譯 > 英語翻譯 > logical formula
ONOFF
劃詞翻譯
導(dǎo)航
建議反饋
詞典App

logical formula中文是什么意思

  • 邏輯式

"查查詞典"手機(jī)版

千萬人都在用的超大詞匯詞典翻譯APP

  • 例句與用法
  • Wstk creates all name attributes according to a logical formula ; in the example , i used names of my own convenience
    依照邏輯規(guī)則創(chuàng)建了所有名稱屬性;在本示例中,我使用了自己視為方便的名稱。
  • However , existing ontology languages are either unsuitable for web with markup languages , or short of of generic support to representation of knowledge , logical formula , axioms and rules
    在現(xiàn)有的ontology語言中,有的不是面向web這種標(biāo)記語言環(huán)境的,有的缺乏知識、邏輯公式、公理以及規(guī)則表示的通性支持。
  • This dissertation is devoted to some key issues of semantic web and to kms ( knowledge management system ) in the context of semantic web . the author ' s contributions of presented in this thesis include : defining the ontology semantics for description primitives of logical formula and relational axioms markup languages are employed to describe the objects and resources in a web environment . in order to represent knowledge , logical formula , relational axioms and rules , there is a need for primitives specifying prepositional formula , predictive formula and horn clause , and relations between properties and relational axiomx
    本文對web語義化過程中部分關(guān)鍵問題和基于語義化web的kms進(jìn)行了研究,主要的創(chuàng)新性工作包括:定義了邏輯公式及關(guān)系公理描述原語的ontology語義: web環(huán)境中用標(biāo)記語言描述對象和資源,為了在語義化web上表示知識、邏輯公式、關(guān)系公理和規(guī)則,需要定義描述命題邏輯公式、謂詞邏輯公式、 horn邏輯的邏輯原語以及描述屬性之間關(guān)系的關(guān)系原語。
  • 其他語種釋義
  • 推薦英語閱讀
logical formula的中文翻譯,logical formula是什么意思,怎么用漢語翻譯logical formula,logical formula的中文意思,logical formula的中文,logical formula in Chinese,logical formula的中文logical formula怎么讀,發(fā)音,例句,用法和解釋由查查在線詞典提供,版權(quán)所有違者必究。

說出您的建議或使用心得